|Title of the article||
VERIFICATION OF IEC 61499 APPLICATION BASED ON THE METHOD OF MODEL CHECKING
Dubinin Viktor Nikolaevich, Candidate of engineering sciences, associate professor, sub-department of computer science, Penza State University, email@example.com
681.5 : 004.415.28
The article describes an approach to verification of IEC 61499 control applications on the basis of the Model Checking method. In the scope of the approach, the authors suggest a formal model of system conditions transition in the form of functions changing rules. The article considers a demonstration example.
verification, symbolic model, function block, standard IEC 61499.
Дата обновления: 26.08.2014 09:10